

#ifndef __VIDEO
#  define __VIDEO


void k_clear_scr();
void k_printc(char);
void k_cprintc(char, char);
void k_printl();
void k_print(char *);
void k_cprint(char, char *);
char k_set_color(char);

/* These should only need to be called by the video driver. */
void __move_cursor();


#endif
